🇬🇧 en fr 🇫🇷

Kan extension noun

  • (category theory) A construct that generalizes the notion of extending a function's domain of definition.
 extension de Kan
Wiktionary Links